f : {
    getLine : Effect Str,
    putLine : Str -> Effect Int,
    text : Str,
    value : Int *,
}

42